Software technologies : The power of 10: Rules for developing safety-critical codeHOLZMANN, Gerard J.Computer (Long Beach, CA). 2006, Vol 39, Num 6, pp 95-99, issn 0018-9162, 5 p.Article

Clock synchronization algorithms and scheduling issuesBASU, Dhruba; PUNNEKKAT, Sasikumar.Lecture notes in computer science. 2003, pp 45-55, issn 0302-9743, isbn 3-540-20745-7, 11 p.Conference Paper

Is an Ada lint necessary?KÄLLBERG, B.Lecture notes in computer science. 2000, pp 29-40, issn 0302-9743, isbn 3-540-67669-4Conference Paper

A safety licensable PES for SIL 4 applicationsHALANG, Wolfgang A; VOGRIN, Peter; COLNARIC, Matjaz et al.Lecture notes in computer science. 2000, pp 141-150, issn 0302-9743, isbn 3-540-41186-0Conference Paper

Assessment of the Java programming language for use in high integrity systemsKWON, Jagun; WELLINGS, Andy; KING, Steve et al.ACM SIGPLAN notices. 2003, Vol 38, Num 4, pp 34-46, issn 1523-2867, 13 p.Article

Logiciels applicatifs relatifs à la sécurité: Etude des problèmes liés à leur exploitation = Safety-related application software. Study of the problems linked to their useNEUGNOT, C; KNEPPERT, M.Les Cahiers de notes documentaires - Institut national de sécurité. 2002, Vol 187, pp 101-115, issn 0007-9952Article

Verification of Safety-Critical SoftwareANDERSEN, B. Scott; ROMANSKI, George.Communications of the ACM. 2011, Vol 54, Num 10, pp 52-57, issn 0001-0782, 6 p.Article

Behavior-based model constructionHUNGAR, Hardi; STEFFEN, Bernhard.International journal on software tools for technology transfer (Print). 2004, Vol 6, Num 1, pp 4-14, issn 1433-2779, 11 p.Conference Paper

Tailoring XP for Large System Mission Critical software developmentBOWERS, Jason; MAY, John; MELANDER, Erik et al.Lecture notes in computer science. 2002, pp 100-111, issn 0302-9743, isbn 3-540-44024-0, 12 p.Conference Paper

Estimating dependability of programmable systems using BBNsGRAN, Bjørn Axel; DAHLL, Gustav; EISINGER, Siegfried et al.Lecture notes in computer science. 2000, pp 309-320, issn 0302-9743, isbn 3-540-41186-0Conference Paper

Self-Adaptive Software Needs Quantitative Verification at RuntimeCALINESCU, Radu; GHEZZI, Carlo; KWIATKOWSKA, Marta et al.Communications of the ACM. 2012, Vol 55, Num 9, pp 69-77, issn 0001-0782, 9 p.Article

Toward trustworthy software systemsHASSELBRING, Wilhelm; REUSSNER, Ralf.Computer (Long Beach, CA). 2006, Vol 39, Num 4, pp 91-92, issn 0018-9162, 2 p.Article

Certification of compiled assembly code by invariant translationRIVAL, Xavier.International journal on software tools for technology transfer (Print). 2004, Vol 6, Num 1, pp 15-37, issn 1433-2779, 23 p.Conference Paper

Reinforced Condition/Decision Coverage (RC/DC): A new criterion for software testingVILKOMIR, Sergiy A; BOWEN, Jonathan P.Lecture notes in computer science. 2002, pp 291-308, issn 0302-9743, isbn 3-540-43166-7Conference Paper

A survey on safety-critical multicast networkingPASCOE, James S; LOADER, R. J.Lecture notes in computer science. 2000, pp 333-343, issn 0302-9743, isbn 3-540-41186-0Conference Paper

Testing or Formal Verification: DO-178C Alternatives and Industrial Experience : SAFETY-CRITICAL SOFTWAREMOY, Yannick; LEDINOT, Emmanuel; DELSENY, Herve et al.IEEE software. 2013, Vol 30, Num 3, pp 50-57, issn 0740-7459, 8 p.Article

Formal Modeling and Verification of Safety-Critical Software : Embedded softwareYOO, Junbeom; JEE, Eunkyoung; CHA, Sungdeok et al.IEEE software. 2009, Vol 26, Num 3, pp 42-49, issn 0740-7459, 8 p.Article

Critical information systems authentication based on PKC and biometricsCOSTA, Carlos; OLIVEIRA, José Luis; SILVA, Augusto et al.Lecture notes in computer science. 2003, pp 543-544, issn 0302-9743, isbn 3-540-40522-4, 2 p.Conference Paper

DataFAN: A practical approach to data flow analysis for Ada 95CZARNECKI, Krzysztof; HIMSOLT, Michael; RICHTER, Ernst et al.Lecture notes in computer science. 2002, pp 231-244, issn 0302-9743, isbn 3-540-43784-3, 14 p.Conference Paper

Locking in Pfair-scheduled multiprocessor systemsHOLMAN, Philip; ANDERSON, James H.Proceedings - Real-Time Systems Symposium. 2002, pp 149-158, issn 1052-8725, isbn 0-7695-1851-6, 10 p.Conference Paper

Extended institutions for testingDOCHE, M; WIELS, V.Lecture notes in computer science. 2000, pp 514-528, issn 0302-9743, isbn 3-540-67530-2Conference Paper

Constructing reliable embedded systems using the results of system safety analysisMAURI, G; SCHEER, S.Lecture notes in computer science. 2000, pp 173-184, issn 0302-9743, isbn 3-540-67669-4Conference Paper

Programmable electronic system design & verification utilizing DFMHOUTERMANS, Michel; APOSTOLAKIS, George; BROMBACHER, Aarnout et al.Lecture notes in computer science. 2000, pp 275-285, issn 0302-9743, isbn 3-540-41186-0Conference Paper

Météor: A successful application of B in a large projectBEHM, P; BENOIT, P; FAIVRE, A et al.Lecture notes in computer science. 1999, pp 369-387, issn 0302-9743, isbn 3-540-66587-0, 2VolConference Paper

Applications of structural synthesis of programsTYUGU, E; MATSKIN, M; PENJAM, J et al.Lecture notes in computer science. 1999, pp 551-569, issn 0302-9743, isbn 3-540-66587-0, 2VolConference Paper